منابع مشابه
Matteo Baldoni , Jamal Bentahar
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capturing the concept of acceptance qua member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judg...
متن کاملChapter 6 Kamal
Although there are several established methodologies in the ontological engineering field, many researchers tend to only loosely couple their ontology development with these methodologies, because the maturity of the methodologies has been questioned. In this chapter, the authors pay special attention to the ontology development process with a particular focus on analyzing the phases proposed b...
متن کاملJaafar and Kamal Khuri - Makdisi
We study pullbacks of modular forms of weight 1 from the modular curve X(4) to the modular curve X(4p), where p is an odd prime. We find the extent to which such modular forms separate points on X(4p). Our main result is that these modular forms give rise to a morphism F from the quotient of X(4p) by a certain involution ι to projective space, such that F is a projective embedding of X(4p)/ι aw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Конференции
سال: 2020
ISSN: 2181-0931
DOI: 10.47100/.v1i2.209